例句與造句

1. Now if Q ( x ) is a partial recursive predicate, there is a decision procedure for Q ( x ) on its range of definition, so the law of the excluded middle or excluded " third " ( saying that, Q ( x ) is either t or f ) applies intuitionistically on the range of definition.
2. It's difficult to find partial recursive predicate in a sentence. 用partial recursive predicate造句挺難的